Lambek's operational categories

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Operational Theories of Physics as Categories

We introduce a new approach to the study of operational theories of physics using category theory. We define a generalisation of the (causal) operational-probabilistic theories of Chiribella et al. and establish their correspondence with our new notion of an operational category. Our work is based on effectus theory, a recently developed area of categorical logic, to which we give an operationa...

متن کامل

Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) a...

متن کامل

OPERADIC CATEGORIES, A∞-CATEGORIES AND n-CATEGORIES

When I offered to talk here, I asked myself if I had something suitable for a nice short 20 minute talk, and sent in an abstract about “cores of spaces and spectra”. However, since I have been given 50 minutes, I have decided to scrap that for something a little more substantial. It is brand new. I assume that I am among friends and that you won’t mind if some of what I say turns out to be nons...

متن کامل

CLUSTER ALGEBRAS AND CLUSTER CATEGORIES

These are notes from introductory survey lectures given at the Institute for Studies in Theoretical Physics and Mathematics (IPM), Teheran, in 2008 and 2010. We present the definition and the fundamental properties of Fomin-Zelevinsky’s cluster algebras. Then, we introduce quiver representations and show how they can be used to construct cluster variables, which are the canonical generator...

متن کامل

Convergence and quantale-enriched categories

Generalising Nachbin's theory of ``topology and order'', in this paper we   continue the study of quantale-enriched categories equipped with a compact   Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces   with ultrafilter-quantale-enriched categories, and show that the presence of a   compact Hausdorff topology guarantees Cauchy completeness and (suitably   defined) ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Bulletin of the Australian Mathematical Society

سال: 1986

ISSN: 0004-9727,1755-1633

DOI: 10.1017/s0004972700003038